void type_print();